#ifndef HAL_MEM_H
#define HAL_MEM_H
#include <stddef.h>
void init_mem();
void* kmalloc(size_t size);
void kfree(void* ptr);
void map_page(uint64_t virtual_address, uint64_t physical_address, uint64_t flags);
void *page_alloc();
#endif